decidability - PMC

Result Filters

You searched 8+ million full text articles

Try this search in 34+ million citations and abstracts

PMC Full-Text Search Results

Items: 1 to 20 of 331

<< First< Prev

Page of 17

Next >Last >>

Select item 79791931.

General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond

Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

Tools and Algorithms for the Construction and Analysis of Systems. 2021 Mar 1; 12651: 449–467. Published online 2021 Mar 1. doi: 10.1007/978-3-030-72016-2_24

PMCID:: PMC7979193

Article PDF–771K

Select item 65607832.

Parameterized model checking of rendezvous systems

Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith

Distrib Comput. 2018; 31(3): 187–222. Published online 2017 Jun 6. doi: 10.1007/s00446-017-0302-6

PMCID:: PMC6560783

Article PDF–1.1M

Select item 73240443.

Trakhtenbrot’s Theorem in Coq: A Constructive Approach to Finite Model Theory

Dominik Kirst, Dominique Larchey-Wendling

Automated Reasoning. 2020 Jun 6; 12167: 79–96. Published online 2020 Jun 6. doi: 10.1007/978-3-030-51054-1_5

PMCID:: PMC7324044

Article PDF–432K

Select item 66518924.

Chimerical Dataset Creation Protocol Based on Doddington Zoo: A Biometric Application with Face, Eye, and ECG

Pedro Lopes Silva, Eduardo Luz, Gladston Moreira, Lauro Moraes, David Menotti

Sensors (Basel) 2019 Jul; 19(13): 2968. Published online 2019 Jul 5. doi: 10.3390/s19132968

PMCID:: PMC6651892

Article PDF–3.0M

Select item 72066385.

Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases

Laure Daviaud

Language and Automata Theory and Applications. 2020 Jan 7; 12038: 17–32. Published online 2020 Jan 7. doi: 10.1007/978-3-030-40608-0_2

PMCID:: PMC7206638

Article PDF–373K

Select item 73242246.

Dynamic Recursive Petri Nets

Serge Haddad, Igor Khmelnitsky

Application and Theory of Petri Nets and Concurrency. 2020 Jun 2; 12152: 345–366. Published online 2020 Jun 2. doi: 10.1007/978-3-030-51831-8_17

PMCID:: PMC7324224

Article PDF–457K

Select item 72478877.

Space Complexity of Stack Automata Models

Oscar H. Ibarra, Jozef Jirásek, Jr., Ian McQuillan, Luca Prigioniero

Developments in Language Theory. 2020 May 26; 12086: 137–149. Published online 2020 May 26. doi: 10.1007/978-3-030-48516-0_11

PMCID:: PMC7247887

Article PDF–292K

Select item 65606808.

Algorithmic games for full ground references

Andrzej S. Murawski, Nikos Tzevelekos

Form Methods Syst Des. 2018; 52(3): 277–314. Published online 2017 Aug 9. doi: 10.1007/s10703-017-0292-9

PMCID:: PMC6560680

Article PDF–940K

Select item 45996339.

Regular expression order-sorted unification and matching

Temur Kutsia, Mircea Marin

J Symb Comput. 2015 Mar; 67: 42–67. doi: 10.1016/j.jsc.2014.08.002

PMCID:: PMC4599633

Article

Select item 728284710.

Architecture Modelling of Parametric Component-Based Systems

Maria Pittou, George Rahonis

Coordination Models and Languages. 2020 May 13; 12134: 281–300. Published online 2020 May 13. doi: 10.1007/978-3-030-50029-0_18

PMCID:: PMC7282847

Article PDF–524K

Select item 736318311.

Ivy: A Multi-modal Verification Tool for Distributed Algorithms

Kenneth L. McMillan, Oded Padon

Computer Aided Verification. 2020 Jun 16; 12225: 190–202. Published online 2020 Jun 16. doi: 10.1007/978-3-030-53291-8_12

PMCID:: PMC7363183

Article PDF–420K

Select item 748069212.

What’s Decidable About Program Verification Modulo Axioms?

Umang Mathur, P. Madhusudan, Mahesh Viswanathan

Tools and Algorithms for the Construction and Analysis of Systems. 2020 Mar 13; 12079: 158–177. Published online 2020 Mar 13. doi: 10.1007/978-3-030-45237-7_10